181. Superstrings'87: proceedings of the Trieste Spring School, 1-11 April 1987

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، String models- Congresses,، Superstring theories- Congresses

رده :
QC
794
.
6
.
S85
S868

182. Surface reactive peptides and polymers :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Biomineralization, Congresses,Peptides-- Surfaces, Congresses,Phosphoproteins-- Surfaces, Congresses,Proteins-- Surfaces, Congresses,Surface chemistry, Congresses

رده :
QP551
.
S915
1991

183. Symmetries, differential equations and applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Lie groups, Congresses.,Computational Mathematics and Numerical Analysis.,Difference and Functional Equations.,Dynamical Systems and Ergodic Theory.,Ordinary Differential Equations.,Theoretical, Mathematical and Computational Physics.,Topological Groups, Lie Groups.,Differential calculus & equations.,Groups & group theory.,Lie groups.,Mathematical physics.,MATHEMATICS-- Algebra-- Intermediate.,Nonlinear science.,Numerical analysis.

رده :
QA387

184. The Chinese calculus of deterrence: India and Indochina

پدیدآورنده :

کتابخانه: كتابخانه دانشكده حقوق و علوم سیاسی دانشگاه تهران (طهران)

موضوع : China-- Military policy,Deterrence (strategy)-- Congresses

رده :
UA835
.
W45

185. Theoretical aspects of computing -- ICTAC 2018 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
L63

186. Theoretical aspects of computing -- ICTAC 2013 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35

187. Theoretical computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Congresses.,Computer science.

188. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms

رده :
QA
76
.
L28
Vol
.
4121

189. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms

رده :
QA
76
.
L28
Vol
.
3569

190. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making

رده :
QA
76
.
L28
Vol
.
3542

191. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms

رده :
QA
76
.
L28
Vol
.
2919

192. Tools and algorithms for the construction and analysis of systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.

193. Tools for high performance computing 2017 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : High performance computing, Congresses.,High performance computing.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.

رده :
QA76
.
88

194. Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro Internationale Mathematico Estivo )C.I.M.E.( held at Montecatini Terme, Italy, July 20-28, 1987

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Calculus of variations

رده :
QA
3
.
L28
Vol
.
1365

195. Topics in calculus of variations: lectures given at the 2nd 1987 session of the Centro Internazionale Matematico Estivo )C.I.M.E.(held at Montecatini Terme, Italy 20-28, 1987

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Calculus of variations

رده :
QA
3
.
L28
no
.
1365

196. Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, July 20-28, 1987

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Calculus of variations

رده :
QA
315
.
T6
1987

197. Topological algebras and their applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Topological algebras, Congresses.,MATHEMATICS-- Algebra-- Intermediate.,Topological algebras.

رده :
QA326
.
I58
2014

198. Toward a lean and lively calculus

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Calculus - Study and teaching )Higher( - Congresses

رده :
QA
.
C66
303
1986

199. Toward a lean & lively calculus

کتابخانه: (طهران)

موضوع : CALCULUS-STUDY & TEACHING-CONGRESSES

رده :
QA
303
.
C66
1986

200. Transactions on computational systems biology XIII /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Bioinformatics, Congresses,Systems biology, Congresses,Systems biology

رده :
QH324
.
2
.
T73
2011